Un outil de développement de logiciel: l'APL/P 800BRAFFORT, P; DECROIX, A.Acta electronica. 1983, Vol 25, Num 1, pp 35-40, issn 0001-558XArticle

An interactive software system for microcode developmentCHARLTON, C. C; ELLIOTT, D; LENG, P. H et al.Microprocessing and microprogramming. 1984, Vol 13, Num 2, pp 105-114, issn 0165-6074Article

Werkzeuggestützte Verifikation des Entwurfs von Software = Vérification basée sur les outils de conception logicielle = Tool-based verification of software designDRTIL, H.rtp. Regelungstechnische Praxis. 1984, Vol 26, Num 12, pp 540-544, issn 0340-4730Article

Abstract design and program translator: new tools for software designARCHIBALD, J. L; LEAVENWORTH, B. M; POWER, L. R et al.IBM systems journal. 1983, Vol 22, Num 3, pp 170-187, issn 0018-8670Article

Integrating CameoSim and MuSES to support vehicle-terrain interaction in an IR synthetic sceneCURRAN, Allen R; CURLEE, John S.Proceedings of SPIE, the International Society for Optical Engineering. 2006, pp 62390E.1-62390E.9, issn 0277-786X, isbn 0-8194-6295-0, 1VolConference Paper

Easy Java Simulations: a software tool to create scientific simulations in JavaESQUEMBRE, Francisco.Computer physics communications. 2004, Vol 156, Num 2, pp 199-204, issn 0010-4655, 6 p.Article

DNAfan: a software tool for automated extraction and analysis of user-defined sequence regionsGISEL, Andreas; PANETTA, Maria; GRILLO, Giorgio et al.Bioinformatics (Oxford. Print). 2004, Vol 20, Num 18, pp 3676-3679, issn 1367-4803, 4 p.Article

A detailed cost model for concurrent use with hardware/software co-designRAGAN, Daniel; SANDBORN, Peter; STOAKS, Paul et al.Design automation conference. 2002, pp 269-274, isbn 1-58113-461-4, 6 p.Conference Paper

Evaluation framework for simulation softwareHLUPIC, V; IRANI, Z; PAUL, R. J et al.International journal, advanced manufacturing technology. 1999, Vol 15, Num 5, pp 366-382, issn 0268-3768Article

A dialogue development system for the design and implementation of user interfaces in adaROBINSON, J; BURNS, A.Computer journal (Print). 1985, Vol 28, Num 1, pp 22-28, issn 0010-4620Article

CEYX, version 15. I: Une initiation = CEYX, 15 version. I: An initiationHULLOT, J.-M.Rapports techniques ― I.N.R.I.A. 1985, Num 44, issn 0249-0803, 20 p.Serial Issue

CEYX-version 15. II: Programmer en CEYX = CEYX-15 version. II: Programming in CEYXHULLOT, J.-M.Rapports techniques ― I.N.R.I.A. 1985, Num 45, issn 0249-0803, 84 p.Serial Issue

Software design methods for distributed computer controlAHSON, S. I.Journal of microcomputer applications. 1983, Vol 6, Num 4, pp 287-293, issn 0745-7138Article

Comparison of Verification Methods for OASIS Files : Hierarchical or Flat?KATO, Kokoro; TANIGUCHI, Yoshiyuld; ENDO, Masakazu et al.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7028, pp 702834.1-702834.8, issn 0277-786X, isbn 978-0-8194-7243-4 0-8194-7243-3, 2Conference Paper

SSL Design with LED Binning TolerancesKOSHEL, R. John.Proceedings of SPIE, the International Society for Optical Engineering. 2008, Vol 7103, issn 0277-786X, isbn 978-0-8194-7333-2 0-8194-7333-2, 1Vol, 710303.1-710303.12Conference Paper

High level test of complex systemsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, issn 1433-2779, 95 p.Serial Issue

Outils d'aide à l'amélioration de la qualité des logiciels: application à l'éditeur structurel = Tools for aided to amelioration of software quality: application to structural editorNERSON, Jean-Marc.1983, 334 p.Report

SAS: système d'aide à la spécification. Automatisation de la fonction libraire = SAS: system aided to specification. Bookseller function automationMEDJAOUI, Nadji.1983, 124 pThesis

COMPASSS (COMplex PAttern of Sequence Search Software), a simple and effective tool for mining complex motifs in whole genomesMACCARI, Giuseppe; GEMIGNANI, Federica; LANDI, Stefano et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 14, pp 1777-1778, issn 1367-4803, 2 p.Article

An Evaluation of a Novel Software Tool for Detecting Changes in Physiological MonitoringANSERMINO, J. Mark; DANIELS, Jeremy P; HEWGILL, Randy T et al.Anesthesia and analgesia. 2009, Vol 108, Num 3, pp 873-880, issn 0003-2999, 8 p.Article

Reveling in ConstraintsJOHNSON, Bruce.Communications of the ACM. 2009, Vol 52, Num 9, pp 44-48, issn 0001-0782, 5 p.Article

The inevitable cycle : Graphical tools and programming paradigmsSOUKUP, Jiri; SOUKUP, Martin.Computer (Long Beach, CA). 2007, Vol 40, Num 8, pp 24-30, issn 0018-9162, 7 p.Article

Challenges and requirements for an effective trace exploration toolHAMOU-LHADJ, Abdelwahab; LETHBRIDGE, Timothy C; LIANJIANG FU et al.International Workshop on Program Comprehension. 2004, pp 70-78, isbn 0-7695-2149-5, 1Vol, 9 p.Conference Paper

Systematic design of a 200 MS/s 8-bit interpolating/averaging A/D converterVANDENBUSSCHE, J; UYTTENHOVE, K; LAUWERS, E et al.Design automation conference. 2002, pp 449-454, isbn 1-58113-461-4, 6 p.Conference Paper

Literate programmingSPOTNITZ, R.Computers & chemical engineering. 1998, Vol 22, Num 12, pp 1745-1747, issn 0098-1354Article